add_file_target(FILE mult25x18.sim.v SCANNER_TYPE verilog)
v2x(NAME mult25x18 SRCS mult25x18.sim.v)
